Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 4 of 1256 results
Sort by: relevance publication year
Showing results for ISSN matching 1619-1366

Synthesis of verifiable concurrent Java components from formal models

JOURNAL ARTICLE published February 2019 in Software & Systems Modeling

Research funded by Consejo Superior de Investigaciones Científicas (StrongSoft - TIN2012-39391-C04-03) | Comunidad de Madrid (N-Greens Software - S2013/ICE-2731)

Authors: Julio Mariño | Raúl N. N. Alborodo | Lars-Åke Fredlund | Ángel Herranz

https://doi.org/10.1007/s10270-017-0581-1 Actions

A repository for scalable model management

JOURNAL ARTICLE published February 2015 in Software & Systems Modeling

Authors: Javier Espinazo Pagán | Jesús Sánchez Cuadrado | Jesús García Molina

https://doi.org/10.1007/s10270-013-0326-8 Actions

A modeling methodology for collaborative evaluation of future automotive innovations

JOURNAL ARTICLE published October 2021 in Software and Systems Modeling

Research funded by GENIAL Project (16ES0865-16ES0876)

Authors: Maher Fakih | Oliver Klemp | Stefan Puch | Kim Grüttner

https://doi.org/10.1007/s10270-021-00864-3 Actions

Test model coverage analysis under uncertainty: extended version

JOURNAL ARTICLE published April 2021 in Software and Systems Modeling

Authors: I. S. W. B. Prasetya | Rick Klomp

https://doi.org/10.1007/s10270-020-00848-9 Actions

Code generation for a family of executable modelling notations

JOURNAL ARTICLE published May 2012 in Software & Systems Modeling

Authors: Adam Prout | Joanne M. Atlee | Nancy A. Day | Pourya Shaker

https://doi.org/10.1007/s10270-010-0176-6 Actions

Applying CSP || B to information systems

JOURNAL ARTICLE published 21 November 2007 in Software & Systems Modeling

Authors: Neil Evans | Helen Treharne | Régine Laleau | Marc Frappier

https://doi.org/10.1007/s10270-007-0048-x Actions

Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams

JOURNAL ARTICLE published August 2004 in Software & Systems Modeling

Authors: Jan Hendrik Hausmann | Reiko Heckel | Stefan Sauer

https://doi.org/10.1007/s10270-003-0045-7 Actions

Some Basic Tenets of Description

JOURNAL ARTICLE published 1 September 2002 in Software and Systems Modeling

Authors: Michael Jackson

https://doi.org/10.1007/s10270-002-8207-6 Actions

An extensible approach to implicit incremental model analyses

JOURNAL ARTICLE published October 2019 in Software & Systems Modeling

Authors: Georg Hinkel | Robert Heinrich | Ralf Reussner

https://doi.org/10.1007/s10270-019-00719-y Actions

Advanced testing and debugging support for reactive executable DSLs

JOURNAL ARTICLE published June 2023 in Software and Systems Modeling

Authors: Faezeh Khorram | Erwan Bousse | Jean-Marie Mottu | Gerson Sunyé

https://doi.org/10.1007/s10270-022-01025-w Actions

Safe reuse in modelling language engineering using model subtyping with OCL constraints

JOURNAL ARTICLE published June 2023 in Software and Systems Modeling

Authors: Artur Boronat

https://doi.org/10.1007/s10270-022-01028-7 Actions

A data-driven approach for constructing multilayer network-based service ecosystem models

JOURNAL ARTICLE published June 2023 in Software and Systems Modeling

Research funded by National Key Research and Development Program of China (2018YFB1402500) | National Natural Science Foundation of China (61772155,61802089) | National Natural Science Foundation of China (61832004,61832014)

Authors: Mingyi Liu | Zhiying Tu | Xiaofei Xu | Zhongjie Wang | Yan Wang

https://doi.org/10.1007/s10270-022-01029-6 Actions

Models as the subject of research

JOURNAL ARTICLE published December 2019 in Software and Systems Modeling

Authors: Jeff Gray | Bernhard Rumpe

https://doi.org/10.1007/s10270-019-00751-y Actions

Guest Editorial to the Theme Section on Model-Driven Web Engineering

JOURNAL ARTICLE published February 2013 in Software & Systems Modeling

Authors: Geert-Jan Houben | Nora Koch | Gustavo Rossi | Antonio Vallecillo

https://doi.org/10.1007/s10270-011-0196-x Actions

Five years of modeling in SoSyM

JOURNAL ARTICLE published 22 November 2006 in Software & Systems Modeling

Authors: Robert France | Bernhard Rumpe

https://doi.org/10.1007/s10270-006-0035-7 Actions

Reflections on the standardization of SysML 2

JOURNAL ARTICLE published April 2021 in Software and Systems Modeling

Authors: Jeff Gray | Bernhard Rumpe

https://doi.org/10.1007/s10270-021-00881-2 Actions

On submodels and submetamodels with their relation

JOURNAL ARTICLE published October 2018 in Software & Systems Modeling

Authors: Bernard Carré | Gilles Vanwormhoudt | Olivier Caron

https://doi.org/10.1007/s10270-016-0540-2 Actions

An overview of model checking practices on verification of PLC software

JOURNAL ARTICLE published October 2016 in Software & Systems Modeling

Authors: Tolga Ovatman | Atakan Aral | Davut Polat | Ali Osman Ünver

https://doi.org/10.1007/s10270-014-0448-7 Actions

Exploiting practical limitations of UML diagrams for model validation and execution

JOURNAL ARTICLE published April 2006 in Software & Systems Modeling

Authors: Friedrich Steimann | Heribert Vollmer

https://doi.org/10.1007/s10270-005-0097-y Actions

Editorial for the Speccial Issue UML 2001 Conference

JOURNAL ARTICLE published 1 December 2002 in Software and Systems Modeling

Authors: Not Available Not Available

https://doi.org/10.1007/s10270-002-0007-5 Actions
Feedback: support@crossref.org